An Immune System Inspired Approach to Automated Program Verification
نویسنده
چکیده
System (AIS) algorithm is presented, and is used for the purposes of automated program verification. Relevant immunological concepts are discussed and the field of AIS is briefly reviewed. It is proposed to use this AIS algorithm for a specific automated program verification task: that of predicting shape of program invariants. It is shown that the algorithm correctly predicts program invariant shape for a variety of benchmarked programs.
منابع مشابه
An artificial immune system approach to automated program verification: Towards a theory of undecidability in biological computing
We propose an immune system inspired Artificial Immune System (AIS) algorithm for the purposes of automated program verification. It is proposed to use this AIS algorithm for a specific automated program verification task: that of predicting shape of program invariants. It is shown that the algorithm correctly predicts program invariant shape for a variety of benchmarked programs. Program invar...
متن کاملSecure Bio-Cryptographic Authentication System for Cardless Automated Teller Machines
Security is a vital issue in the usage of Automated Teller Machine (ATM) for cash, cashless and many off the counter banking transactions. Weaknesses in the use of ATM machine could not only lead to loss of customer’s data confidentiality and integrity but also breach in the verification of user’s authentication. Several challenges are associated with the use of ATM smart card such as: card clo...
متن کاملProgramming with Proofs: Language-Based Approaches to Totally Correct Software
Tremendous progress has been made in automated and semi-automated verification since the seminal works on program verification. Automated deductive techniques like model checking have been highly successful for many verification tasks (e.g., [17, 18, 13]). Impressive advances continue to be made in static analysis, type systems, and static bug finding (e.g., [21, 12]). These approaches aim to v...
متن کاملEffect of Using Image-Schemas on Learning L2 Prepositions and Enhancing Learner Autonomy: A Dynamic System Theory and Cognitive Linguistics-Inspired Approach
This study investigated the effect of applying the dynamic system theory (DST) and cognitive linguistics (CL) insights into grammar instruction on EFL learners’ learning of English prepositions and learner autonomy. Sixty Iranian EFL learners at the lower-intermediate level of language proficiency were randomly assigned to 1 experimental and 1 control group. The 2 groups filled out an autonomy ...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/0905.2649 شماره
صفحات -
تاریخ انتشار 2009